Transformational programming and the paragraph problem
نویسندگان
چکیده
منابع مشابه
Transformational Programming and Forests
In an earlier paper [0], we introduced the concept of constructs. These may be regarded as a common generalization of finite and infinite sequences, finite and infinite bags, trees of arbitrary arity and forests. In this paper we attempt to show how constructs may be used as an alternative foundation for the transformational programming method proposed by Bird [i] and Meertens [2]. In our view,...
متن کاملTactics for Transformational Programming
This paper discusses the relationship between transformational programming and theorem proving. It illustrates the use of the theorem proving environment as a basis for a program construction tool DEBATE 1 (Deduction Based Transformational Environment) which is under construction in University College Dublin. Using a theorem proving framework directly would require the user to be familiar with ...
متن کاملTransformational Programming and the Derivation of Algorithms
The transformational programming, method of algorithm derivation starts with a formal specification of the result to be achieved (which provides no indication of how the result is to be achieved), plus some informal ideas as to what techniques will be used in the implementation. The formal specification is then transformed into an implementation, by means of correctness-preserving refinement an...
متن کاملTransformational Derivation in the Programming Logic TK
In this paper we investigate transformational programming techniques within the programming logic TK. This theory has been elaborated in detail in [HeT88] and some aspects of program development within TK are explored in [Hen89a]. Our point of departure here is the transformational technique known as type simulation [Hen88] which is a generalisation of a idea due to Wand [Wan80]. We must, for r...
متن کاملthe effect of teaching reading as whole text task and paragraph task on efl learners speaking
abstract the present study was conducted to investigate the effectiveness of a rather newly developed method in language teaching that is the use of paragraph reading task and whole reading task and their effects on improving efl learner’s speaking ability. to fulfill the purpose of the study, first 90 participants studying their course at sa eedi high school in tehran were chosen by means of ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1986
ISSN: 0167-6423
DOI: 10.1016/0167-6423(86)90023-7